$D_{1}$ $\subseteq$ $D_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:Id. M($i$) $\subseteq$ M($i$)